Taft, Tucker: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Ada 83 to Ada 2012

Barnes, John, Taft, S. Tucker

Journal:

ACM SIGAda Ada Letters

Year:

2014

Language:

english

File:

PDF, 602 KB

english, 2014

2

Ada 9X: a technical summary

Taft, S. Tucker

Journal:

Communications of the ACM

Year:

1992

Language:

english

File:

PDF, 1.48 MB

english, 1992

3

[ACM Press the 2008 ACM annual international conference - Portland, OR, USA (2008.10.26-2008.10.30)] Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference - SIGAda '08 - Implementing the extended return statement for Ada 2005

Taft, S. Tucker

Year:

2008

Language:

english

File:

PDF, 359 KB

english, 2008

4

Implementing the extended return statement for Ada 2005

Taft, S. Tucker

Journal:

ACM SIGAda Ada Letters

Year:

2008

Language:

english

File:

PDF, 359 KB

english, 2008

5

[ACM Press conference proceedings - Vancouver, British Columbia, Canada (1992.10.18-1992.10.22)] conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '92 - Position paper for OOPSLA '92 panel on oop for manguages based on strong, static typing

Taft, S. Tucker

Year:

1992

Language:

english

File:

PDF, 110 KB

english, 1992

6

[Lecture Notes in Computer Science] Ada 95 Reference Manual Volume 1246 || Program structure and compilation issues

Tucker Taft, S., Duff, Robert A.

Year:

1995

Language:

english

File:

PDF, 715 KB

english, 1995

7

[Lecture Notes in Computer Science] Ada 95 Reference Manual Volume 1246 || Generic units

Tucker Taft, S., Duff, Robert A.

Year:

1995

Language:

english

File:

PDF, 729 KB

english, 1995

8

[Lecture Notes in Computer Science] Ada 95 Reference Manual Volume 1246 || Representation issues

Tucker Taft, S., Duff, Robert A.

Year:

1995

Language:

english

File:

PDF, 1.66 MB

english, 1995

9

[Lecture Notes in Computer Science] Ada 95 Reference Manual Volume 1246 || Declarations and types

Tucker Taft, S., Duff, Robert A.

Year:

1995

Language:

english

File:

PDF, 3.34 MB

english, 1995

10

[Lecture Notes in Computer Science] Ada 95 Reference Manual Volume 1246 || Packages

Tucker Taft, S., Duff, Robert A.

Year:

1995

Language:

english

File:

PDF, 780 KB

english, 1995

11

[Lecture Notes in Computer Science] Ada 95 Reference Manual Volume 1246 || Lexical elements

Tucker Taft, S., Duff, Robert A.

Year:

1995

Language:

english

File:

PDF, 401 KB

english, 1995

12

[Lecture Notes in Computer Science] Ada 95 Reference Manual Volume 1246 || Names and expressions

Tucker Taft, S., Duff, Robert A.

Year:

1995

Language:

english

File:

PDF, 1.75 MB

english, 1995

13

[Lecture Notes in Computer Science] Ada 95 Reference Manual Volume 1246 || Visibility rules

Tucker Taft, S., Duff, Robert A.

Year:

1995

Language:

english

File:

PDF, 701 KB

english, 1995

14

[Lecture Notes in Computer Science] Ada 95 Reference Manual Volume 1246 || Statements

Tucker Taft, S., Duff, Robert A.

Year:

1995

Language:

english

File:

PDF, 401 KB

english, 1995

15

Discussion on “Metal-clad switchgear, automatic protection, and remote control with particular reference to developments during the last seven years” before the Western Centre, at Bristol, 19th February, 1934

Taft, S. Tucker

Journal:

Journal of the Institution of Electrical Engineers

Year:

1934

Language:

english

File:

PDF, 1.02 MB

english, 1934

16

[IEEE 2008 IEEE Conference on Technologies for Homeland Security - Waltham, MA, USA (2008.05.12-2008.05.13)] 2008 IEEE Conference on Technologies for Homeland Security - Systematic Scanning for Malicious Source Code

Taft, S. Tucker

Year:

2008

Language:

english

File:

PDF, 856 KB

english, 2008

17

[IEEE 2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC) - East Syracuse, NY, USA (2013.10.5-2013.10.10)] 2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC) - Integrating test and proof in the verifiable spark 2014 language using contracts and SMT solvers

Year:

2013

Language:

english

File:

PDF, 3.45 MB

english, 2013

18

[IEEE 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) - Colorado Springs, CO, USA (2014.10.5-2014.10.9)] 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) - Towards a lean tool qualification process: Digital avionics systems conference

Taft, Tucker, Bordin, Matteo

Year:

2014

Language:

english

File:

PDF, 7.40 MB

english, 2014

19

[ACM Press the first international symposium - Redondo Beach, California, United States (1990.04.30-1990.05.02)] Proceedings of the first international symposium on Environments and tools for Ada - SETA1 - SETA1 working group on building, debugging and testing real-time and distributed systems

Year:

1991

Language:

english

File:

PDF, 433 KB

english, 1991

20

[ACM Press the conference - Orlando, Florida, United States (1992.11.16-1992.11.20)] Proceedings of the conference on TRI-Ada '92 - TRI-Ada '92 - Ada 9X and OOP

Taft, S. Tucker

Year:

1992

Language:

english

File:

PDF, 469 KB

english, 1992

21

[ACM Press the eighth annual conference - Washington, D.C., United States (1993.09.26-1993.10.01)] Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications - OOPSLA '93 - Ada 9X

Taft, S. Tucker

Year:

1993

Language:

english

File:

PDF, 922 KB

english, 1993

22

[ACM Press the 2012 ACM conference - Boston, Massachusetts, USA (2012.12.02-2012.12.06)] Proceedings of the 2012 ACM conference on High integrity language technology - HILT '12 - Panel on compiler certification

Beringer, Lennart, Brukardt, Randall, Plum, Thomas, Taft, S. Tucker

Year:

2012

Language:

english

File:

PDF, 375 KB

english, 2012

23

[ACM Press the conference - San Jose, California, United States (1991.10.21-1991.10.25)] Proceedings of the conference on TRI-Ada '91 today's accomplishments; tomorrow's expectations - TRI-Ada '91 - Ada and SQL

Brosgol, Ben, Faris, Stephen, Graham, Marc H., Moore, James W., Rosen, Jean-Pierre, Taft, S. Tucker

Year:

1991

Language:

english

File:

PDF, 447 KB

english, 1991

24

[ACM Press the conference - Baltimore, Maryland, United States (1990.12.03-1990.12.06)] Proceedings of the conference on TRI-ADA '90 - TRI-Ada '90 - Ideas for kick-starting the Ada market of the 1990s

Taft, S. Tucker

Year:

1990

Language:

english

File:

PDF, 49 KB

english, 1990

25

[ACM Press the 2013 ACM SIGAda annual conference - Pittsburgh, Pennsylvania, USA (2013.11.10-2013.11.14)] Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 - Bringing safe, dynamic parallel programming to the spark verifiable subset of ada

Taft, S. Tucker

Year:

2013

Language:

english

File:

PDF, 394 KB

english, 2013

26

Keynote address

Taft, S. Tucker

Journal:

ACM SIGAda Ada Letters

Year:

2001

Language:

english

File:

PDF, 8 KB

english, 2001

27

Ada and the software vulnerabilities project

Burns, Alan, Pinho, Miguel, Ploedereder, Erhard, Real, Jorge, Rosen, J. P., Schonberg, Ed, Taft, S. Tucker, Vardanega, T., Tokar, Joyce L., Baird, Stephen, Barnes, John, Chapman, Rod, Dismukes, Gary,

Journal:

ACM SIGAda Ada Letters

Year:

2010

Language:

english

File:

PDF, 369 KB

english, 2010

28

Bringing safe, dynamic parallel programming to the spark verifiable subset of ada

Taft, S. Tucker

Journal:

ACM SIGAda Ada Letters

Year:

2013

Language:

english

File:

PDF, 394 KB

english, 2013

29

[ACM Press the 1999 annual ACM SIGAda international conference - Redondo Beach, California, United States (1999.10.17-1999.10.21)] Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 - What happened to integrated environments? (panel session)

Hart, Hal, Boehm, Barry, Taft, S. Tucker, Wasserman, Tony

Year:

1999

Language:

english

File:

PDF, 161 KB

english, 1999

30

[ACM Press the ACM SIGAda annual international conference - Saint Petersburg, Florida, USA (2009.11.01-2009.11.05)] Proceedings of the ACM SIGAda annual international conference on Ada and related technologies - SIGAda '09 - The new semantic model in ASIS for Ada 2005

Rosen, Jean-Pierre, Taft, Tucker

Year:

2009

Language:

english

File:

PDF, 462 KB

english, 2009

31

[ACM Press the ACM international conference companion - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11 - Multicore, manycore, and cloud computing

Taft, S. Tucker, Bloch, Joshua, Bocchino, Robert, Burckhardt, Sebastian, Chafi, Hassan, Cox, Russ, Gaster, Benedict, Steele, Guy, Ungar, David

Year:

2011

Language:

english

File:

PDF, 442 KB

english, 2011

32

[ACM Press the 2011 ACM annual international conference - Denver, Colorado, USA (2011.11.06-2011.11.10)] Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language - SIGAda '11 - How to make ada go 'viral'

Rosen, Jean-Pierre, Moore, Brad, Taft, Tucker

Year:

2011

Language:

english

File:

PDF, 281 KB

english, 2011

33

[ACM Press the conference - Philadelphia, Pennsylvania, United States (1996.12.03-1996.12.07)] Proceedings of the conference on TRI-Ada '96 disciplined software development with Ada - TRI-Ada '96 - Ada and Java (panel session)

Gargaro, Anthony, Taft, S. Tucker, Arnold, Ken, Masters, Mike, Firth, Robert

Year:

1996

File:

PDF, 32 KB

1996

34

[ACM Press the 2013 ACM SIGAda annual conference - Pittsburgh, Pennsylvania, USA (2013.11.10-2013.11.14)] Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 - Tutorial

Taft, S. Tucker

Year:

2013

Language:

english

File:

PDF, 377 KB

english, 2013

35

[ACM Press the 1987 annual ACM SIGAda international conference - Boston, Massachusetts, United States (1987..-..)] Proceedings of the 1987 annual ACM SIGAda international conference on Ada - SIGAda '87 - Portable and efficient dynamic storage management in Ada

Kownacki, Ron, Taft, S. Tucker

Year:

1987

Language:

english

File:

PDF, 855 KB

english, 1987

36

[ACM Press the 2001 annual ACM SIGAda international conference - Bloomington, MN (2001.09.30-2001.10.04)] Proceedings of the 2001 annual ACM SIGAda international conference on Ada - SIGAda '01 - Keynote address

Taft, S. Tucker

Year:

2001

Language:

english

File:

PDF, 8 KB

english, 2001

37

[ACM Press the 2011 ACM annual international conference - Denver, Colorado, USA (2011.11.06-2011.11.10)] Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language - SIGAda '11 - Experimenting with parasail

Taft, S. Tucker

Year:

2011

Language:

english

File:

PDF, 374 KB

english, 2011

38

[ACM Press the 2014 ACM SIGAda annual conference - Portland, Oregon, USA (2014.10.18-2014.10.21)] Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT '14 - Ada 83 to Ada 2012

Barnes, John, Taft, S. Tucker

Year:

2014

Language:

english

File:

PDF, 602 KB

english, 2014

39

[ACM Press the 2014 ACM SIGAda annual conference - Portland, Oregon, USA (2014.10.18-2014.10.21)] Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT '14 - Panel summary: finding safety in numbers

Bocchino, Robert, Matsakis, Nicholas, Taft, S. Tucker, Larson, Brian, Seidewitz, Ed

Year:

2014

Language:

english

File:

PDF, 598 KB

english, 2014

40

[ACM Press the conference - Orlando, Florida, United States (1992.11.16-1992.11.20)] Proceedings of the conference on TRI-Ada '92 - TRI-Ada '92 - Ada 9X and systems programming

Taft, S. Tucker

Year:

1992

Language:

english

File:

PDF, 475 KB

english, 1992

41

[ACM Press the 2014 ACM SIGAda annual conference - Portland, Oregon, USA (2014.10.18-2014.10.21)] Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology - HILT '14 - Safe parallel programming in ada with language extensions

Taft, S. Tucker, Moore, Brad, Pinho, Luís Miguel, Michell, Stephen

Year:

2014

Language:

english

File:

PDF, 699 KB

english, 2014

42

[IEEE 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Orlando, FL, USA (2016.1.7-2016.1.9)] 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - High-Integrity Multitasking in SPARK: Static Detection of Data Races and Locking Cycles

Taft, S. Tucker, Schanda, Florian, Moy, Yannick

Year:

2016

Language:

english

File:

PDF, 114 KB

english, 2016

43

[IEEE 2015 IEEE Real-Time Systems Symposium (RTSS) - San Antonio, Texas (2015.12.1-2015.12.4)] 2015 IEEE Real-Time Systems Symposium - Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Pinho, Luis Miguel, Moore, Brad, Michell, Stephen, Taft, S. Tucker

Year:

2015

Language:

english

File:

PDF, 248 KB

english, 2015

44

[Lecture Notes in Computer Science] Ada 95 Reference Manual Volume 1246 || Exceptions

Tucker Taft, S., Duff, Robert A.

Year:

1995

Language:

english

File:

PDF, 454 KB

english, 1995

45

An object-based virtual operating system for the Ada programming support environment

Taft, S. Tucker

Journal:

ACM SIGOPS Operating Systems Review

Year:

1982

Language:

english

File:

PDF, 453 KB

english, 1982

46

Experimenting with parasail

Taft, S. Tucker

Journal:

ACM SIGAda Ada Letters

Year:

2011

Language:

english

File:

PDF, 374 KB

english, 2011

47

Position paper for OOPSLA '92 panel on oop for manguages based on strong, static typing

Taft, S. Tucker

Journal:

ACM SIGPLAN Notices

Year:

1992

Language:

english

File:

PDF, 110 KB

english, 1992

48

How to make ada go 'viral'

Rosen, Jean-Pierre, Moore, Brad, Taft, Tucker

Journal:

ACM SIGAda Ada Letters

Year:

2011

Language:

english

File:

PDF, 281 KB

english, 2011

49

Ada 9X

Taft, S. Tucker

Journal:

ACM SIGPLAN Notices

Year:

1993

Language:

english

File:

PDF, 922 KB

english, 1993

50

[Lecture Notes in Computer Science] Ada 95 Reference Manual Volume 1246 || Subprograms

Tucker Taft, S., Duff, Robert A.

Year:

1995

Language:

english

File:

PDF, 579 KB

english, 1995

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски